81. Algorithm engineering : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings
پدیدآورنده : Jeffrey S. Vitter, Christos D. Zaroliagis )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1668
82. Algorithm engineering : 5th International Workshop, WAE 2001, Aarhus, Denmark, August 28-21, 2001 : proceedings
پدیدآورنده : Gerth Stolting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2141
83. Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 2000 : proceedings
پدیدآورنده : Stefan Naher, Dorothea Wagner )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1982
84. Analytical and stochastic modeling techniques and application
پدیدآورنده : / Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks, Mathematical models, Congresses,Stochastic processes, Congresses,Stochastic models, Congresses,Electronic books., local
رده :
TK5105
.
5
.
I58
2010
85. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگرهها,شبکههای کامپیوتری -- کنگرهها,نرمافزار -- مهندسی -- کنگرهها
رده :
E-Book
,
86. Approaches and applications of inductive programming
پدیدآورنده : Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Functional programming (Computer science), Congresses
رده :
QA
،
76
.
62
،.
A69
،
2010
87. Approaches and applications of inductive programming
پدیدآورنده : / Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer (Eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Functional programming (Computer science), Congresses
رده :
QA76
.
62
.
A25
2010
88. Architecting critical systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : tolerant computing ; Congresses. ; Software engineering ; Congresses. ; System design ; Congresses. ; Tol?rance aux fautes (informatique) ; Congr?s. ; ram. ; Architecture des ordinateurs ; Congr?s. ; ram. ; Syst-Computer architecture ; Congresses. ; Fault
89. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
90. Artificial intelligence, computer and software engineering advances :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Artificial intelligence ; Congresses. ;
91. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
92. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
93. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
95. Balancing agility and formalism in software engineering
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
96. Big data, cloud computing, and data science engineering
پدیدآورنده : Roger Lee, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Big data,Congresses ، Cloud computing,Congresses ، Software engineering
رده :
QA
76
.
9
.
B45B533
97. Bioinspired models of network, information, and computing system
پدیدآورنده : / BIONETICS 2009, Avignon, France, December 9 - 11, 2009. Eitan Altman, Iacopo Carrera, Rachid El-Azouzi, Emma Hart, Yezekael Hayel (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Network topology, swd,Autonomic computing, swd,Biocybernetics, swd,Delay Tolerant Network, swd,Software system, swd,Biological model, swd,Avignon <2009>, swd,Congress, swd,Bionics, Congresses,Biologically-inspired computing, Congresses,Computer science, Congresses,Computer networks, Congresses,Information technology, Congresses
98. COTS-based software systems : First International Conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings
پدیدآورنده : John Dean, Andree Gravel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2255
99. COTS-based software systems :second international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 : proceedings
پدیدآورنده : Hakan Erdogmus, Tao Weng )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2580
100. COTS-based software systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 : proceedings
پدیدآورنده : Xavier Franch, Dan Port )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3412